Towards Explicit Behavioral Consistency Concepts in the UML
نویسندگان
چکیده
In this paper, we show how different behavioral consistency concepts can be formed for sequence diagrams and statecharts. Our approach relies on the partial translation of models into a semantic domain and on the definition of explicit consistency conditions. Partial translations and consistency conditions can be combined to form an explicit consistency concept. In order to make our approach applicable in practice, we discuss the issue of tool support and favor the development of a so-called consistency workbench.
منابع مشابه
Synthesizing UML Statecharts from Requirements Scenarios + Propositional Constraints
The Unified Modeling Language (UML) (OMG 2001) provides a standardized collection of notations for describing artifacts in a software-intensive system. Each UML notation represents a particular viewpoint of a software (sub)system. For example, UML sequence diagrams describe system behavior in terms of the interaction scenarios between multiple objects. UML statecharts, on the other hand, descri...
متن کاملTowards Architectural Modeling with UML Subsystems
This paper presents an extension of the UML 1.4 metamodel that facilitates the description of software architectures. To this end, concepts like views, ports, connectors, and protocols are introduced, and the UML’s subsystem concept is adapted. The approach is inspired by ROOM and IEEE P1471, using an explicit metamodeling approach for clarity. This paper should be seen as input for the discuss...
متن کاملRule-Based Specification of Behavioral Consistency Based on the UML Meta-model
Object-oriented modeling favors the modeling of object behavior from di erent viewpoints and at di erent levels of abstraction. This gives rise to consistency problems between overlapping or semantically related submodels. The absence of a formal semantics for the UML and the numerous ways of employing the language within the development process lead to a number of di erent consistency notions....
متن کاملTowards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models
Verification tasks for UML and OCL models can be classified into structural and behavioral tasks. For both task categories a variety of partly automatic solving approaches exist. But up to now, different interpretations of central notions as, for example, ‘consistency’ or ‘reachability’ can be found in current approaches and tools. This paper is designed to clarify central verification notions ...
متن کاملLanguage and Tool Support for Class and State Machine Refinement in UML-B
UML-B is a ’UML-like’ graphical front end for Event-B that provides support for object-oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to relate system models at different abstraction levels. The same abstraction-refinement concepts can also be applied in UML...
متن کامل